Making Speciications Executable { Using Iptes Meta-iv
ثبت نشده
چکیده
This article discusses the extra eeort required to make speciications executable. With an origin in essential (but in general non-executable) speciication techniques and speciication language constructs the limitations of writing speciications in an executable language are discussed. The (executable) example speciications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.
منابع مشابه
Making specifications executable - Using IPTES Meta-IV
This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.
متن کاملGuidelines for Mapping the IPTES Physical Model onto
The objective of the IPTES (In-cremental Prototyping Technology for Embedded Real-Time Systems) project is to develop methodolo-gies, tools and theoretical results on distributed prototyping for real-time systems. IPTES is partially funded by the European Communities under the ESPRIT programme, project nos. EP5570 and EP7811. Abstract The IPTES toolset and methodology are based on end-user spec...
متن کاملAn Executable Subset of Meta - IV with LooseSpeci cation
In ESPRIT project no. EP5570 called IPTES 1 a methodology and a supporting environment for incremental prototyping of embedded computer systems is developed. As a part of this prototyping tool an interpreter for an executable subset of a VDM dialect is developed. Based on a comparative study of diierent notations inspired by VDM we have now selected an executable subset of the BSI/VDM-SL 2 nota...
متن کاملIPTES - Incremental Prototyping Technology for Embedded real-time Systems
The constantly increasing complexity and risk associated with the industrial development of embedded computer systems has been approached in diierent ways in resent years. One of the most promising approaches to managing risks in software development projects is the Boehm's spiral principle. In ESPRIT project no. EP5570 called IPTES (IPTES is an acronym for \Incremental Prototyping Technology f...
متن کاملAutomatic Translation of the Limited Iptes Sa/sd-rt Physical Model to High-level Timed Petri Nets Author
The objective of the IPTES (In-cremental Prototyping Technology for Embedded Real-Time Systems) project is to develop methodolo-gies, tools and theoretical results on distributed prototyping for real-time systems. IPTES is partially funded by the European Communities under the ESPRIT programme, project nos. EP5570 and EP7811. Document History V1.0 Preliminary Draft version. Initial proposal to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992